Reasoning Support for OWL-E
نویسنده
چکیده
Syntax DL Syntax Semantics domain(u1, . . . , un) (u1, . . . , un) u D 1 × . . .× un
منابع مشابه
Empowering OWL with Overriding Inheritance, Conflict Resolution and Non-monotonic Reasoning
The popularity of OWL for knowledge representation in the Semantic Web applications makes it an attractive platform. Although OWL supports some form of object-oriented features for knowledge structuring and maintenance, it is significantly weak in capturing most essential object-oriented features such as single and multiple inheritance, default class values, methods, overriding and encapsulatio...
متن کاملVerifying feature models using OWL
Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, he lack of a formal semantics and reasoning support of feature models has hindered the development of this area. Industrial experiences also how that methods and tools that can support feature model analysis are badly appreciated. Such reasoning tool should ...
متن کاملPellet: A practical OWL-DL reasoner
In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive iddleware, and a number of unique features. Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning ith individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies....
متن کاملImplementing OWL Defaults
While it has been argued that knowledge representation for the World Wide Web must respect the open world assumption due to the “open” nature of the Web, users of the Web Ontology Language (OWL) have often requested some form of non-monotonic reasoning. In this paper, we present preliminary optimizations and an implementation of a restricted version of Reiter’s default logic as an extension to ...
متن کاملModelling and Reasoning in Metamodelling Enabled Ontologies
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engineering is that while UML, a widely used standard for specifying and constructing the models for a software-intensive system, has a four-layer metamodelling architecture, the standard Web Ontology Language (OWL) does ...
متن کاملExploiting OWL Reasoning Services to Execute Ontologically-Modeled Clinical Practice Guidelines
Ontology-based modeling of Clinical Practice Guidelines (CPG) is a well-established approach to computerize CPG for execution in clinical decision support systems. Many CPG computerization approaches use the Web Ontology Language (OWL) to represent the CPG’s knowledge, but they do not exploit its reasoning services to execute the CPG. In this paper, we present our CPG execution approach that le...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004